pre {
  padding: 8px;
  margin: 8px;
  font-size:x-small;
  border:solid 1px #666666;
}

/*
.sourceCode {
  font-size:x-small;
  border:solid 1px #666666;
}
*/